Turing Incomputable Computation
نویسنده
چکیده
A new computing model, called the active element machine (AEM), is presented that demonstrates Turing incomputable computation using quantum random input. The AEM deterministically executes a universal Turing machine (UTM) program η with random active element firing patterns. These firing patterns are Turing incomputable when the AEM executes a UTM having an unbounded number of computable steps. For an unbounded number of computable steps, if zero information is revealed to an adversary about the AEM’s representation of the UTM’s state and tape and the quantum random bits that help determine η’s computation and zero information is revealed about the dynamic connections between the active elements, then there does not exist a “reverse engineer” Turing machine that can map the random firing patterns back to the sequence of UTM instructions. This casts a new light on Turing’s notion of a computational procedure. In practical terms, these methods present an opportunity to build a new class of computing machines where the program’s computational steps are hidden. This non-Turing computing behavior may be useful in cybersecurity and in other areas such as machine learning where multiple, dynamic interpretations of firing patterns may be applicable.
منابع مشابه
Computing a Turing-Incomputable Problem from Quantum Computing
A hypercomputation model named Infinite Square Well Hypercomputation Model (ISWHM) is built from quantum computation. This model is inspired by the model proposed by Tien D. Kieu [1] and solves an Turing-incomputable problem. For the proposed model and problem, a simulation of its behavior is made. Furthermore, it is demonstrated that ISWHM is a universal quantum computation model.
متن کاملEffective Physical Processes and Active Information in Quantum Computing
The recent debate on hypercomputation has raised new questions both on the computational abilities of quantum systems and the Church-Turing Thesis role in Physics We propose here the idea of “effective physical process” as the essentially physical notion of computation. By using the Bohm and Hiley active information concept we analyze the differences between the standard form (quantum gates) an...
متن کاملNoncappable Enumeration Degrees Below 0'e
We prove that there exists a noncappable enumeration degree strictly below 0 0 e. Two notions of relative computability, Turing and enumeration re-ducibility, are basic to any natural ne-structure theory for the classes of computable and incomputable objects. Of the theories for the corresponding degree structures (D D D and D D D e), that for the Turing degrees is the better developed, mainly ...
متن کاملA measure-theoretic proof of Turing incomparability
We prove that if S is an ω-model of weak weak König’s lemma and A ∈ S, A ⊆ ω, is incomputable, then there exists B ∈ S, B ⊆ ω, such that A and B are Turing incomparable. This extends a recent result of Kučera and Slaman who proved that if S0 is a Scott set (i.e. an ω-model of weak König’s lemma) and A ∈ S0, A ⊆ ω, is incomputable, then there exists B ∈ S0, B ⊆ ω, such that A and B are Turing in...
متن کاملCalculus of Cost Functions
We study algebraic properties of cost functions. We give an application: building sets close to being Turing complete.
متن کامل